Four Pakistani soldiers martyred in operation in Khyber Pakhtunkhwa